static string GetDefaultConfigFile(string assemblyFile){
	string configFilename = assemblyFile + ".config";
	if (File.Exists(configFilename))
	return configFilename;
return null; }